منابع مشابه
Geometric Reasoning with polymake
The mathematical software system polymake provides a wide range of functions for convex polytopes, simplicial complexes, and other objects. A large part of this paper is dedicated to a tutorial which exemplifies the usage. Later sections include a survey of research results obtained with the help of polymake so far and a short description of the technical background.
متن کاملGeometric reasoning for computer vision
Some general principles are formulated about geometric reasoning in the context of model-based computer vision. Such reasoning tries to draw inferences about the spatial relationships between objects in a scene based on the fragmentary and uncertain geometric evidence provided by an image. The paper discusses the tasks the reasoner is to perform for the vision program, the basic competences it ...
متن کاملAutomated Geometric Reasoning : Dixon Resultants
Three diierent methods for automated geometry theorem proving|a generalized version of Dixon resultants, Grr obner bases and characteristic sets|are reviewed. The main focus is, however, on the use of the generalized Dixon resultant formulation for solving geometric problems and determining geometric quantities.
متن کاملGeometric reasoning about translational motions
This thesis addresses the problems of planning highly coordinated collision-free translational motions of multiple objects (general polygons or polyhedra) and finding sequences of translations that allow for the removal of one or more objects. These problems are known to be PSPACE-hard in general. Our main focus is therefore on the design and analysis of adaptive algorithms that can cope with p...
متن کاملChildren's Reasoning about Geometric Footprints
We explored preschool’s children’s understanding of the correspondence of 3-D objects and 2-D faces in a novel task. In the “footprints” task children were shown a geometric solid, such as a pyramid or a prism, and asked to select which shape the solid would make if it were dipped in ink and stamped on a piece of paper. Through a latent class analysis of children’s errors we found children diff...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 1990
ISSN: 0167-6423
DOI: 10.1016/0167-6423(90)90061-h